Termination proof of /tmp/tmpAld155/SharingAnalysisRec.jar

Termination of the given JBC could be proven:

0 JBC

↳1 JBCToGraph (⇒, 720 ms)

↳2 JBCTerminationGraph

↳3 TerminationGraphToSCCProof (⇒, 0 ms)

↳4 AND

    ↳5 JBCTerminationSCC

        ↳6 SCCToIDPv1Proof (⇒, 230 ms)

        ↳7 IDP

        ↳8 IDPtoQDPProof (⇒, 10 ms)

        ↳9 QDP

        ↳10 UsableRulesProof (⇔, 0 ms)

        ↳11 QDP

        ↳12 QReductionProof (⇔, 0 ms)

        ↳13 QDP

        ↳14 QDPSizeChangeProof (⇔, 0 ms)

        ↳15 YES

    ↳16 JBCTerminationSCC

        ↳17 SCCToIDPv1Proof (⇒, 2000 ms)

        ↳18 IDP

        ↳19 IDPNonInfProof (⇒, 180 ms)

        ↳20 AND

            ↳21 IDP

                ↳22 IDependencyGraphProof (⇔, 0 ms)

                ↳23 TRUE

            ↳24 IDP

                ↳25 IDependencyGraphProof (⇔, 0 ms)

                ↳26 TRUE

(0) Obligation:

JBC Problem based on JBC Program:
Manifest-Version: 1.0 Created-By: 1.6.0_25 (Sun Microsystems Inc.) Main-Class: SharingAnalysisRec/SharingAnalysisRec

package SharingAnalysisRec;

public class Random {
  static String[] args;
  static int index = 0;

  public static int random() {
    final String string = args[index];
    index++;
    return string.length();
  }
}


package SharingAnalysisRec;

public class SharingAnalysisRec {
	int val;
	SharingAnalysisRec field;

	public static void main(String[] args) {
		Random.args = args;
		SharingAnalysisRec t1 = new SharingAnalysisRec();
		SharingAnalysisRec t2 = t1.appendNewList(1);
		SharingAnalysisRec t3 = t2.appendNewList(Random.random());
		t2.field = null;
		copy(t1, t3);
	}

	public static void copy(SharingAnalysisRec source, SharingAnalysisRec target) {
		if (source == null) {
			return;
		} else {
			SharingAnalysisRec newEle = new SharingAnalysisRec();
			newEle.val = source.val;
			target.field = newEle;
			copy(source.field, newEle);
		}
	}

	/**
 	 * @param i number of elements to append
 	 * @return the last list element appended
 	 */
	private SharingAnalysisRec appendNewList(int i) {
		this.field = new SharingAnalysisRec();
		this.val = Random.random();
		if (i <= 1) {
			return this.field;
		} else {
			return this.field.appendNewList(i-1);
		}
	}
}

(1) JBCToGraph (SOUND transformation)

Constructed TerminationGraph.

(2) Obligation:

Termination Graph based on JBC Program:
SharingAnalysisRec.SharingAnalysisRec.main([Ljava/lang/String;)V: Graph of 157 nodes with 0 SCCs.

SharingAnalysisRec.SharingAnalysisRec.appendNewList(I)LSharingAnalysisRec/SharingAnalysisRec;: Graph of 113 nodes with 0 SCCs.

SharingAnalysisRec.SharingAnalysisRec.copy(LSharingAnalysisRec/SharingAnalysisRec;LSharingAnalysisRec/SharingAnalysisRec;)V: Graph of 38 nodes with 0 SCCs.

(3) TerminationGraphToSCCProof (SOUND transformation)

Splitted TerminationGraph to 2 SCCss.

(4) Complex Obligation (AND)

(5) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: SharingAnalysisRec.SharingAnalysisRec.copy(LSharingAnalysisRec/SharingAnalysisRec;LSharingAnalysisRec/SharingAnalysisRec;)V
SCC calls the following helper methods: SharingAnalysisRec.SharingAnalysisRec.copy(LSharingAnalysisRec/SharingAnalysisRec;LSharingAnalysisRec/SharingAnalysisRec;)V
Performed SCC analyses: UsedFieldsAnalysis

(6) SCCToIDPv1Proof (SOUND transformation)

Transformed FIGraph SCCs to IDPs. Log:

Generated 27 rules for P and 9 rules for R.

P rules:
1817_0_copy_NONNULL(EOS(STATIC_1817), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(o892sub)) → 1818_0_copy_NONNULL(EOS(STATIC_1818), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(o892sub))
1818_0_copy_NONNULL(EOS(STATIC_1818), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(o892sub)) → 1820_0_copy_New(EOS(STATIC_1820), java.lang.Object(o892sub), java.lang.Object(o889sub))
1820_0_copy_New(EOS(STATIC_1820), java.lang.Object(o892sub), java.lang.Object(o889sub)) → 1823_0_copy_Duplicate(EOS(STATIC_1823), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)))
1823_0_copy_Duplicate(EOS(STATIC_1823), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL))) → 1825_0_copy_InvokeMethod(EOS(STATIC_1825), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL))) | =(matching1, 0)
1825_0_copy_InvokeMethod(EOS(STATIC_1825), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching2, NULL))) → 1828_0_<init>_Load(EOS(STATIC_1828), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL))) | &&(=(matching1, 0), =(matching2, 0))
1828_0_<init>_Load(EOS(STATIC_1828), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching2, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching3, NULL))) → 1830_0_<init>_InvokeMethod(EOS(STATIC_1830), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL))) | &&(&&(=(matching1, 0), =(matching2, 0)), =(matching3, 0))
1830_0_<init>_InvokeMethod(EOS(STATIC_1830), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching2, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching3, NULL))) → 1832_0_<init>_Return(EOS(STATIC_1832), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL))) | &&(&&(=(matching1, 0), =(matching2, 0)), =(matching3, 0))
1832_0_<init>_Return(EOS(STATIC_1832), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching2, NULL))) → 1833_0_copy_Store(EOS(STATIC_1833), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL))) | &&(=(matching1, 0), =(matching2, 0))
1833_0_copy_Store(EOS(STATIC_1833), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL))) → 1835_0_copy_Load(EOS(STATIC_1835), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL))) | =(matching1, 0)
1835_0_copy_Load(EOS(STATIC_1835), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL))) → 1836_0_copy_Load(EOS(STATIC_1836), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL))) | =(matching1, 0)
1836_0_copy_Load(EOS(STATIC_1836), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching2, NULL))) → 1838_0_copy_FieldAccess(EOS(STATIC_1838), java.lang.Object(o892sub), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(o892sub)) | &&(=(matching1, 0), =(matching2, 0))
1838_0_copy_FieldAccess(EOS(STATIC_1838), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching2, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897))) → 1839_0_copy_FieldAccess(EOS(STATIC_1839), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897))) | &&(=(matching1, 0), =(matching2, 0))
1839_0_copy_FieldAccess(EOS(STATIC_1839), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching2, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897))) → 1841_0_copy_FieldAccess(EOS(STATIC_1841), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, 0, NULL)), i461) | &&(=(matching1, 0), =(matching2, 0))
1841_0_copy_FieldAccess(EOS(STATIC_1841), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching1, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, matching2, NULL)), i461) → 1842_0_copy_Load(EOS(STATIC_1842), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))) | &&(=(matching1, 0), =(matching2, 0))
1842_0_copy_Load(EOS(STATIC_1842), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))) → 1844_0_copy_Load(EOS(STATIC_1844), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), java.lang.Object(o889sub))
1844_0_copy_Load(EOS(STATIC_1844), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), java.lang.Object(o889sub)) → 1845_0_copy_FieldAccess(EOS(STATIC_1845), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), java.lang.Object(o889sub), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)))
1845_0_copy_FieldAccess(EOS(STATIC_1845), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i463, o901)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))) → 1846_0_copy_FieldAccess(EOS(STATIC_1846), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i463, o901)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)))
1846_0_copy_FieldAccess(EOS(STATIC_1846), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i463, o901)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))) → 1848_0_copy_Load(EOS(STATIC_1848), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)))
1848_0_copy_Load(EOS(STATIC_1848), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))) → 1850_0_copy_FieldAccess(EOS(STATIC_1850), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897)))
1850_0_copy_FieldAccess(EOS(STATIC_1850), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, o897))) → 1851_0_copy_Load(EOS(STATIC_1851), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), o897)
1851_0_copy_Load(EOS(STATIC_1851), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)), o897) → 1853_0_copy_InvokeMethod(EOS(STATIC_1853), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)))
1853_0_copy_InvokeMethod(EOS(STATIC_1853), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))) → 1854_1_copy_InvokeMethod(1854_0_copy_Load(EOS(STATIC_1854), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)))
1854_0_copy_Load(EOS(STATIC_1854), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))) → 1856_0_copy_Load(EOS(STATIC_1856), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)))
1856_0_copy_Load(EOS(STATIC_1856), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))) → 1858_0_copy_Load(EOS(STATIC_1858), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)))
1858_0_copy_Load(EOS(STATIC_1858), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL))) → 1861_0_copy_Load(EOS(STATIC_1861), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i461, NULL)))
1861_0_copy_Load(EOS(STATIC_1861), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i445, NULL))) → 1816_0_copy_Load(EOS(STATIC_1816), o897, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i445, NULL)))
1816_0_copy_Load(EOS(STATIC_1816), o888, java.lang.Object(o889sub)) → 1817_0_copy_NONNULL(EOS(STATIC_1817), o888, java.lang.Object(o889sub), o888)
R rules:
1817_0_copy_NONNULL(EOS(STATIC_1817), NULL, java.lang.Object(o889sub), NULL) → 1819_0_copy_NONNULL(EOS(STATIC_1819), NULL, java.lang.Object(o889sub), NULL)
1819_0_copy_NONNULL(EOS(STATIC_1819), NULL, java.lang.Object(o889sub), NULL) → 1822_0_copy_Return(EOS(STATIC_1822), NULL, java.lang.Object(o889sub))
1854_1_copy_InvokeMethod(1822_0_copy_Return(EOS(STATIC_1822), NULL, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i468, NULL))), NULL, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i468, NULL))) → 1869_0_copy_Return(EOS(STATIC_1869), NULL, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i468, NULL)), NULL, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i468, NULL)))
1854_1_copy_InvokeMethod(1870_0_copy_Return(EOS(STATIC_1870)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i473, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i474, NULL))) → 1880_0_copy_Return(EOS(STATIC_1880), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i473, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i472, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i473, NULL)))))
1854_1_copy_InvokeMethod(1904_0_copy_Return(EOS(STATIC_1904)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i508, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i507, o969)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i509, NULL))) → 1926_0_copy_Return(EOS(STATIC_1926), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i508, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i507, o969)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i506, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i492, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i491, o938)))))))
1869_0_copy_Return(EOS(STATIC_1869), NULL, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i468, NULL)), NULL, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i468, NULL))) → 1870_0_copy_Return(EOS(STATIC_1870))
1880_0_copy_Return(EOS(STATIC_1880), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i473, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i472, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i473, NULL))))) → 1900_0_copy_Return(EOS(STATIC_1900), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i473, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i472, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i473, NULL)))))
1900_0_copy_Return(EOS(STATIC_1900), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i489, o934)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i492, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i491, o938))))) → 1904_0_copy_Return(EOS(STATIC_1904))
1926_0_copy_Return(EOS(STATIC_1926), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i508, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i507, o969)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i506, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i492, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i491, o938))))))) → 1900_0_copy_Return(EOS(STATIC_1900), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i508, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i507, o969)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i506, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i492, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, i491, o938)))))))

Combined rules. Obtained 1 conditional rules for P and 4 conditional rules for R.

P rules:
1817_0_copy_NONNULL(EOS(STATIC_1817), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x0, x1)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x2, x3)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x0, x1))) → 1854_1_copy_InvokeMethod(1817_0_copy_NONNULL(EOS(STATIC_1817), x1, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x0, NULL)), x1), x1, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x0, NULL)))
R rules:
1817_0_copy_NONNULL(EOS(STATIC_1817), NULL, java.lang.Object(x0), NULL) → 1822_0_copy_Return(EOS(STATIC_1822), NULL, java.lang.Object(x0))
1854_1_copy_InvokeMethod(1822_0_copy_Return(EOS(STATIC_1822), NULL, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x0, NULL))), NULL, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x0, NULL))) → 1870_0_copy_Return(EOS(STATIC_1870))
1854_1_copy_InvokeMethod(1870_0_copy_Return(EOS(STATIC_1870)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x0, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x1, NULL))) → 1904_0_copy_Return(EOS(STATIC_1904))
1854_1_copy_InvokeMethod(1904_0_copy_Return(EOS(STATIC_1904)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x0, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x1, x2)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x3, NULL))) → 1904_0_copy_Return(EOS(STATIC_1904))

Filtered ground terms:

SharingAnalysisRec.SharingAnalysisRec(x1, x2, x3) → SharingAnalysisRec.SharingAnalysisRec(x2, x3)
1817_0_copy_NONNULL(x1, x2, x3, x4) → 1817_0_copy_NONNULL(x2, x3, x4)
1904_0_copy_Return(x1) → 1904_0_copy_Return
1870_0_copy_Return(x1) → 1870_0_copy_Return
1822_0_copy_Return(x1, x2, x3) → 1822_0_copy_Return(x3)

Filtered duplicate args:

1817_0_copy_NONNULL(x1, x2, x3) → 1817_0_copy_NONNULL(x2, x3)

Filtered unneeded arguments:

1854_1_copy_InvokeMethod(x1, x2, x3) → 1854_1_copy_InvokeMethod(x1, x2)
SharingAnalysisRec.SharingAnalysisRec(x1, x2) → SharingAnalysisRec.SharingAnalysisRec(x2)

Combined rules. Obtained 1 conditional rules for P and 4 conditional rules for R.

P rules:
1817_0_copy_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x3)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1))) → 1854_1_copy_InvokeMethod(1817_0_copy_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)), x1), x1)
R rules:
1817_0_copy_NONNULL(java.lang.Object(x0), NULL) → 1822_0_copy_Return(java.lang.Object(x0))
1854_1_copy_InvokeMethod(1822_0_copy_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))), NULL) → 1870_0_copy_Return
1854_1_copy_InvokeMethod(1870_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))) → 1904_0_copy_Return
1854_1_copy_InvokeMethod(1904_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x2))))) → 1904_0_copy_Return

Performed bisimulation on rules. Used the following equivalence classes: {[1870_0_copy_Return, 1904_0_copy_Return]=1870_0_copy_Return}

Finished conversion. Obtained 1 rules for P and 4 rules for R. System has no predefined symbols.

P rules:
1817_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x3)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1))) → 1817_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)), x1)
R rules:
1817_0_copy_NONNULL(java.lang.Object(x0), NULL) → 1822_0_copy_Return(java.lang.Object(x0))
1854_1_copy_InvokeMethod(1822_0_copy_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))), NULL) → 1870_0_copy_Return
1854_1_copy_InvokeMethod(1870_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))) → 1870_0_copy_Return
1854_1_copy_InvokeMethod(1870_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x2))))) → 1870_0_copy_Return

(7) Obligation:

IDP problem:
The following function symbols are pre-defined:

!=	~	Neq: (Integer, Integer) -> Boolean
*	~	Mul: (Integer, Integer) -> Integer
>=	~	Ge: (Integer, Integer) -> Boolean
-1	~	UnaryMinus: (Integer) -> Integer
\|	~	Bwor: (Integer, Integer) -> Integer
/	~	Div: (Integer, Integer) -> Integer
=	~	Eq: (Integer, Integer) -> Boolean
	~	Bwxor: (Integer, Integer) -> Integer
\|\|	~	Lor: (Boolean, Boolean) -> Boolean
!	~	Lnot: (Boolean) -> Boolean
<	~	Lt: (Integer, Integer) -> Boolean
-	~	Sub: (Integer, Integer) -> Integer
<=	~	Le: (Integer, Integer) -> Boolean
>	~	Gt: (Integer, Integer) -> Boolean
~	~	Bwnot: (Integer) -> Integer
%	~	Mod: (Integer, Integer) -> Integer
&	~	Bwand: (Integer, Integer) -> Integer
+	~	Add: (Integer, Integer) -> Integer
&&	~	Land: (Boolean, Boolean) -> Boolean

The following domains are used:
none

The ITRS R consists of the following rules:
1817_0_copy_NONNULL(java.lang.Object(x0), NULL) → 1822_0_copy_Return(java.lang.Object(x0))
1854_1_copy_InvokeMethod(1822_0_copy_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))), NULL) → 1870_0_copy_Return
1854_1_copy_InvokeMethod(1870_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))) → 1870_0_copy_Return
1854_1_copy_InvokeMethod(1870_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x2))))) → 1870_0_copy_Return

The integer pair graph contains the following rules and edges:
(0): 1817_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x3[0])), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1[0]))) → 1817_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)), x1[0])

(0) -> (0), if (java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)) →^* java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x3[0]'))∧x1[0] →^* java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1[0]')))

The set Q consists of the following terms:
1817_0_copy_NONNULL(java.lang.Object(x0), NULL)
1854_1_copy_InvokeMethod(1822_0_copy_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))), NULL)
1854_1_copy_InvokeMethod(1870_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))
1854_1_copy_InvokeMethod(1870_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x0)))))

(8) IDPtoQDPProof (SOUND transformation)

Represented integers and predefined function symbols by Terms

(9) Obligation:

Q DP problem:
The TRS P consists of the following rules:

1817_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x3[0])), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1[0]))) → 1817_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)), x1[0])

The TRS R consists of the following rules:

1817_0_copy_NONNULL(java.lang.Object(x0), NULL) → 1822_0_copy_Return(java.lang.Object(x0))
1854_1_copy_InvokeMethod(1822_0_copy_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))), NULL) → 1870_0_copy_Return
1854_1_copy_InvokeMethod(1870_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))) → 1870_0_copy_Return
1854_1_copy_InvokeMethod(1870_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x2))))) → 1870_0_copy_Return

The set Q consists of the following terms:

1817_0_copy_NONNULL(java.lang.Object(x0), NULL)
1854_1_copy_InvokeMethod(1822_0_copy_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))), NULL)
1854_1_copy_InvokeMethod(1870_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))
1854_1_copy_InvokeMethod(1870_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x0)))))

We have to consider all minimal (P,Q,R)-chains.

(10) UsableRulesProof (EQUIVALENT transformation)

As all Q-normal forms are R-normal forms we are in the innermost case. Hence, by the usable rules processor [LPAR04] we can delete all non-usable rules [FROCOS05] from R.

(11) Obligation:

Q DP problem:
The TRS P consists of the following rules:

1817_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x3[0])), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1[0]))) → 1817_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)), x1[0])

R is empty.
The set Q consists of the following terms:

1817_0_copy_NONNULL(java.lang.Object(x0), NULL)
1854_1_copy_InvokeMethod(1822_0_copy_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))), NULL)
1854_1_copy_InvokeMethod(1870_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))
1854_1_copy_InvokeMethod(1870_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x0)))))

We have to consider all minimal (P,Q,R)-chains.

(12) QReductionProof (EQUIVALENT transformation)

We deleted the following terms from Q as each root-symbol of these terms does neither occur in P nor in R.[THIEMANN].

1817_0_copy_NONNULL(java.lang.Object(x0), NULL)
1854_1_copy_InvokeMethod(1822_0_copy_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL))), NULL)
1854_1_copy_InvokeMethod(1870_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))
1854_1_copy_InvokeMethod(1870_0_copy_Return, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x0)))))

(13) Obligation:

Q DP problem:
The TRS P consists of the following rules:

1817_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x3[0])), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1[0]))) → 1817_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)), x1[0])

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.

(14) QDPSizeChangeProof (EQUIVALENT transformation)

By using the subterm criterion [SUBTERM_CRITERION] together with the size-change analysis [AAECC05] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

1817_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x3[0])), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1[0]))) → 1817_0_COPY_NONNULL(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)), x1[0])
The graph contains the following edges 2 > 2

(15) YES

(16) Obligation:

SCC of termination graph based on JBC Program.
SCC contains nodes from the following methods: SharingAnalysisRec.SharingAnalysisRec.appendNewList(I)LSharingAnalysisRec/SharingAnalysisRec;
SCC calls the following helper methods: SharingAnalysisRec.SharingAnalysisRec.appendNewList(I)LSharingAnalysisRec/SharingAnalysisRec;
Performed SCC analyses: UsedFieldsAnalysis

(17) SCCToIDPv1Proof (SOUND transformation)

Transformed FIGraph SCCs to IDPs. Log:

Generated 40 rules for P and 69 rules for R.

P rules:
1049_0_appendNewList_New(EOS(STATIC_1049), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1052_0_appendNewList_Duplicate(EOS(STATIC_1052), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1052_0_appendNewList_Duplicate(EOS(STATIC_1052), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1056_0_appendNewList_InvokeMethod(EOS(STATIC_1056), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1056_0_appendNewList_InvokeMethod(EOS(STATIC_1056), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1059_0_<init>_Load(EOS(STATIC_1059), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1059_0_<init>_Load(EOS(STATIC_1059), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1065_0_<init>_InvokeMethod(EOS(STATIC_1065), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1065_0_<init>_InvokeMethod(EOS(STATIC_1065), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1070_0_<init>_Return(EOS(STATIC_1070), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1070_0_<init>_Return(EOS(STATIC_1070), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1075_0_appendNewList_FieldAccess(EOS(STATIC_1075), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1075_0_appendNewList_FieldAccess(EOS(STATIC_1075), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1079_0_appendNewList_Load(EOS(STATIC_1079), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137)
1079_0_appendNewList_Load(EOS(STATIC_1079), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137) → 1084_0_appendNewList_InvokeMethod(EOS(STATIC_1084), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1084_0_appendNewList_InvokeMethod(EOS(STATIC_1084), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))) → 1089_0_random_FieldAccess(EOS(STATIC_1089), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1089_0_random_FieldAccess(EOS(STATIC_1089), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))) → 1099_0_random_FieldAccess(EOS(STATIC_1099), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(ARRAY(i101)))
1099_0_random_FieldAccess(EOS(STATIC_1099), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(ARRAY(i101))) → 1104_0_random_ArrayAccess(EOS(STATIC_1104), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(ARRAY(i101)), i138)
1104_0_random_ArrayAccess(EOS(STATIC_1104), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(ARRAY(i101)), i138) → 1108_0_random_ArrayAccess(EOS(STATIC_1108), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(ARRAY(i101)), i138)
1108_0_random_ArrayAccess(EOS(STATIC_1108), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(ARRAY(i101)), i138) → 1116_0_random_Store(EOS(STATIC_1116), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291) | <(i138, i101)
1116_0_random_Store(EOS(STATIC_1116), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291) → 1124_0_random_FieldAccess(EOS(STATIC_1124), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291)
1124_0_random_FieldAccess(EOS(STATIC_1124), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291) → 1127_0_random_ConstantStackPush(EOS(STATIC_1127), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291, i138)
1127_0_random_ConstantStackPush(EOS(STATIC_1127), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291, i138) → 1136_0_random_IntArithmetic(EOS(STATIC_1136), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291, i138, 1)
1136_0_random_IntArithmetic(EOS(STATIC_1136), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291, i138, matching1) → 1142_0_random_FieldAccess(EOS(STATIC_1142), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291, +(i138, 1)) | &&(>=(i138, 0), =(matching1, 1))
1142_0_random_FieldAccess(EOS(STATIC_1142), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291, i150) → 1148_0_random_Load(EOS(STATIC_1148), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291)
1148_0_random_Load(EOS(STATIC_1148), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291) → 1155_0_random_InvokeMethod(EOS(STATIC_1155), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), o291)
1155_0_random_InvokeMethod(EOS(STATIC_1155), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(o299sub)) → 1165_0_random_InvokeMethod(EOS(STATIC_1165), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(o299sub))
1165_0_random_InvokeMethod(EOS(STATIC_1165), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(o299sub)) → 1169_0_length_Load(EOS(STATIC_1169), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(o299sub), java.lang.Object(o299sub))
1169_0_length_Load(EOS(STATIC_1169), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(o299sub), java.lang.Object(o299sub)) → 1185_0_length_FieldAccess(EOS(STATIC_1185), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(o299sub), java.lang.Object(o299sub))
1185_0_length_FieldAccess(EOS(STATIC_1185), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.String(o308sub, i163)), java.lang.Object(java.lang.String(o308sub, i163))) → 1191_0_length_FieldAccess(EOS(STATIC_1191), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.String(o308sub, i163)), java.lang.Object(java.lang.String(o308sub, i163))) | &&(>=(i163, 0), >=(i164, 0))
1191_0_length_FieldAccess(EOS(STATIC_1191), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.String(o308sub, i163)), java.lang.Object(java.lang.String(o308sub, i163))) → 1199_0_length_Return(EOS(STATIC_1199), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.String(o308sub, i163)), i163)
1199_0_length_Return(EOS(STATIC_1199), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.String(o308sub, i163)), i163) → 1209_0_random_Return(EOS(STATIC_1209), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i163)
1209_0_random_Return(EOS(STATIC_1209), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i163) → 1215_0_appendNewList_FieldAccess(EOS(STATIC_1215), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i163)
1215_0_appendNewList_FieldAccess(EOS(STATIC_1215), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i163) → 1224_0_appendNewList_Load(EOS(STATIC_1224), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137)
1224_0_appendNewList_Load(EOS(STATIC_1224), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137) → 1233_0_appendNewList_ConstantStackPush(EOS(STATIC_1233), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, i137)
1233_0_appendNewList_ConstantStackPush(EOS(STATIC_1233), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, i137) → 1240_0_appendNewList_GT(EOS(STATIC_1240), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, i137, 1)
1240_0_appendNewList_GT(EOS(STATIC_1240), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i168, i168, matching1) → 1248_0_appendNewList_GT(EOS(STATIC_1248), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i168, i168, 1) | =(matching1, 1)
1248_0_appendNewList_GT(EOS(STATIC_1248), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i168, i168, matching1) → 1257_0_appendNewList_Load(EOS(STATIC_1257), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i168) | &&(>(i168, 1), =(matching1, 1))
1257_0_appendNewList_Load(EOS(STATIC_1257), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i168) → 1264_0_appendNewList_FieldAccess(EOS(STATIC_1264), i168, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1264_0_appendNewList_FieldAccess(EOS(STATIC_1264), i168, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))) → 1273_0_appendNewList_Load(EOS(STATIC_1273), i168, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1273_0_appendNewList_Load(EOS(STATIC_1273), i168, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1281_0_appendNewList_ConstantStackPush(EOS(STATIC_1281), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i168)
1281_0_appendNewList_ConstantStackPush(EOS(STATIC_1281), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i168) → 1291_0_appendNewList_IntArithmetic(EOS(STATIC_1291), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i168, 1)
1291_0_appendNewList_IntArithmetic(EOS(STATIC_1291), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i168, matching1) → 1299_0_appendNewList_InvokeMethod(EOS(STATIC_1299), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), -(i168, 1)) | &&(>(i168, 0), =(matching1, 1))
1299_0_appendNewList_InvokeMethod(EOS(STATIC_1299), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i180) → 1306_1_appendNewList_InvokeMethod(1306_0_appendNewList_Load(EOS(STATIC_1306), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i180), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i180)
1306_0_appendNewList_Load(EOS(STATIC_1306), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i180) → 1313_0_appendNewList_Load(EOS(STATIC_1313), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i180)
1313_0_appendNewList_Load(EOS(STATIC_1313), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i180) → 1047_0_appendNewList_Load(EOS(STATIC_1047), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i180)
1047_0_appendNewList_Load(EOS(STATIC_1047), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137) → 1049_0_appendNewList_New(EOS(STATIC_1049), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
R rules:
1104_0_random_ArrayAccess(EOS(STATIC_1104), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(ARRAY(i101)), i138) → 1109_0_random_ArrayAccess(EOS(STATIC_1109), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(ARRAY(i101)), i138)
1109_0_random_ArrayAccess(EOS(STATIC_1109), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(ARRAY(i101)), i138) → 1117_0_<init>_Load(EOS(STATIC_1117), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) | >=(i138, i101)
1117_0_<init>_Load(EOS(STATIC_1117), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1129_0_<init>_InvokeMethod(EOS(STATIC_1129), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1129_0_<init>_InvokeMethod(EOS(STATIC_1129), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1137_0_<init>_Load(EOS(STATIC_1137), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1137_0_<init>_Load(EOS(STATIC_1137), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1149_0_<init>_InvokeMethod(EOS(STATIC_1149), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1149_0_<init>_InvokeMethod(EOS(STATIC_1149), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1157_0_<init>_Load(EOS(STATIC_1157), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1155_0_random_InvokeMethod(EOS(STATIC_1155), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), NULL) → 1166_0_random_InvokeMethod(EOS(STATIC_1166), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), NULL)
1157_0_<init>_Load(EOS(STATIC_1157), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1172_0_<init>_InvokeMethod(EOS(STATIC_1172), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1166_0_random_InvokeMethod(EOS(STATIC_1166), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), NULL) → 1171_0_random_InvokeMethod(EOS(STATIC_1171), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), NULL)
1171_0_random_InvokeMethod(EOS(STATIC_1171), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), NULL) → 1178_0_<init>_Load(EOS(STATIC_1178), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
1172_0_<init>_InvokeMethod(EOS(STATIC_1172), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1179_0_<init>_Load(EOS(STATIC_1179), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1178_0_<init>_Load(EOS(STATIC_1178), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1192_0_<init>_InvokeMethod(EOS(STATIC_1192), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
1179_0_<init>_Load(EOS(STATIC_1179), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1194_0_<init>_InvokeMethod(EOS(STATIC_1194), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1192_0_<init>_InvokeMethod(EOS(STATIC_1192), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1201_0_<init>_Load(EOS(STATIC_1201), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
1194_0_<init>_InvokeMethod(EOS(STATIC_1194), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1202_0_<init>_Load(EOS(STATIC_1202), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1201_0_<init>_Load(EOS(STATIC_1201), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1217_0_<init>_InvokeMethod(EOS(STATIC_1217), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
1202_0_<init>_Load(EOS(STATIC_1202), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1218_0_<init>_InvokeMethod(EOS(STATIC_1218), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1217_0_<init>_InvokeMethod(EOS(STATIC_1217), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1226_0_<init>_Load(EOS(STATIC_1226), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
1218_0_<init>_InvokeMethod(EOS(STATIC_1218), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1228_0_<init>_Load(EOS(STATIC_1228), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1226_0_<init>_Load(EOS(STATIC_1226), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1242_0_<init>_InvokeMethod(EOS(STATIC_1242), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
1228_0_<init>_Load(EOS(STATIC_1228), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1234_0_<init>_Load(EOS(STATIC_1234), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1234_0_<init>_Load(EOS(STATIC_1234), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1244_0_<init>_FieldAccess(EOS(STATIC_1244), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1240_0_appendNewList_GT(EOS(STATIC_1240), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i167, i167, matching1) → 1247_0_appendNewList_GT(EOS(STATIC_1247), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i167, i167, 1) | =(matching1, 1)
1242_0_<init>_InvokeMethod(EOS(STATIC_1242), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1250_0_<init>_Load(EOS(STATIC_1250), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
1244_0_<init>_FieldAccess(EOS(STATIC_1244), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1253_0_<init>_Load(EOS(STATIC_1253), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1247_0_appendNewList_GT(EOS(STATIC_1247), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i167, i167, matching1) → 1256_0_appendNewList_Load(EOS(STATIC_1256), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i167) | &&(<=(i167, 1), =(matching1, 1))
1250_0_<init>_Load(EOS(STATIC_1250), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1266_0_<init>_InvokeMethod(EOS(STATIC_1266), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
1253_0_<init>_Load(EOS(STATIC_1253), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1259_0_<init>_InvokeMethod(EOS(STATIC_1259), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1256_0_appendNewList_Load(EOS(STATIC_1256), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i167) → 1263_0_appendNewList_FieldAccess(EOS(STATIC_1263), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i167, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1259_0_<init>_InvokeMethod(EOS(STATIC_1259), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1268_0_<init>_StackPop(EOS(STATIC_1268), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1263_0_appendNewList_FieldAccess(EOS(STATIC_1263), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i167, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))) → 1272_0_appendNewList_Return(EOS(STATIC_1272), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i167, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1266_0_<init>_InvokeMethod(EOS(STATIC_1266), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1276_0_<init>_Load(EOS(STATIC_1276), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
1268_0_<init>_StackPop(EOS(STATIC_1268), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1277_0_<init>_Return(EOS(STATIC_1277), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1276_0_<init>_Load(EOS(STATIC_1276), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1283_0_<init>_Load(EOS(STATIC_1283), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
1277_0_<init>_Return(EOS(STATIC_1277), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1284_0_<init>_Return(EOS(STATIC_1284), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1283_0_<init>_Load(EOS(STATIC_1283), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1293_0_<init>_FieldAccess(EOS(STATIC_1293), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
1284_0_<init>_Return(EOS(STATIC_1284), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1295_0_<init>_Return(EOS(STATIC_1295), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1293_0_<init>_FieldAccess(EOS(STATIC_1293), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1301_0_<init>_Load(EOS(STATIC_1301), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
1295_0_<init>_Return(EOS(STATIC_1295), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1302_0_<init>_Return(EOS(STATIC_1302), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))))
1301_0_<init>_Load(EOS(STATIC_1301), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1308_0_<init>_InvokeMethod(EOS(STATIC_1308), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
1302_0_<init>_Return(EOS(STATIC_1302), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC))))))) → 1310_0_<init>_Return(EOS(STATIC_1310), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138)
1306_1_appendNewList_InvokeMethod(1272_0_appendNewList_Return(EOS(STATIC_1272), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), matching1, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), matching2) → 1335_0_appendNewList_Return(EOS(STATIC_1335), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 1, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 1, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) | &&(=(matching1, 1), =(matching2, 1))
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(EOS(STATIC_1323), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i193, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i193) → 1356_0_appendNewList_InvokeMethod(EOS(STATIC_1356), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i193, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i193, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1306_1_appendNewList_InvokeMethod(1349_0_appendNewList_Return(EOS(STATIC_1349), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i205) → 1381_0_appendNewList_Return(EOS(STATIC_1381), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))), i205, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1306_1_appendNewList_InvokeMethod(1373_0_appendNewList_InvokeMethod(EOS(STATIC_1373), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i220, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i220) → 1435_0_appendNewList_InvokeMethod(EOS(STATIC_1435), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i220, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i220, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1306_1_appendNewList_InvokeMethod(1460_0_appendNewList_InvokeMethod(EOS(STATIC_1460), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o457sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i236), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i289) → 1553_0_appendNewList_InvokeMethod(EOS(STATIC_1553), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))), i289, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o457sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i236)
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(EOS(STATIC_1503), java.lang.Object(o526sub)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i351) → 1592_0_appendNewList_Return(EOS(STATIC_1592), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o524)))))))), i351, java.lang.Object(o526sub))
1306_1_appendNewList_InvokeMethod(1649_0_appendNewList_InvokeMethod(EOS(STATIC_1649), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o757sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))))), i401), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), i425) → 1687_0_appendNewList_InvokeMethod(EOS(STATIC_1687), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))))))), i425, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o757sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))))), i401)
1308_0_<init>_InvokeMethod(EOS(STATIC_1308), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1315_0_<init>_StackPop(EOS(STATIC_1315), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
1310_0_<init>_Return(EOS(STATIC_1310), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138) → 1318_0_random_ArrayAccess(EOS(STATIC_1318), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138)
1315_0_<init>_StackPop(EOS(STATIC_1315), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1321_0_<init>_Return(EOS(STATIC_1321), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
1318_0_random_ArrayAccess(EOS(STATIC_1318), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(ARRAY(i101)), i138) → 1323_0_appendNewList_InvokeMethod(EOS(STATIC_1323), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1321_0_<init>_Return(EOS(STATIC_1321), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1331_0_<init>_Return(EOS(STATIC_1331), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
1331_0_<init>_Return(EOS(STATIC_1331), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1337_0_<init>_Return(EOS(STATIC_1337), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))))
1335_0_appendNewList_Return(EOS(STATIC_1335), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), matching1, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), matching2, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1349_0_appendNewList_Return(EOS(STATIC_1349), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) | &&(=(matching1, 1), =(matching2, 1))
1337_0_<init>_Return(EOS(STATIC_1337), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC)))))) → 1350_0_<init>_Return(EOS(STATIC_1350), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL)
1350_0_<init>_Return(EOS(STATIC_1350), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL) → 1359_0_random_InvokeMethod(EOS(STATIC_1359), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL)
1356_0_appendNewList_InvokeMethod(EOS(STATIC_1356), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i193, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i193, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))) → 1436_0_appendNewList_InvokeMethod(EOS(STATIC_1436), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i193, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i193, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1359_0_random_InvokeMethod(EOS(STATIC_1359), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), NULL) → 1373_0_appendNewList_InvokeMethod(EOS(STATIC_1373), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i137, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1381_0_appendNewList_Return(EOS(STATIC_1381), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))), i205, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1484_0_appendNewList_Return(EOS(STATIC_1484), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))), i205, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1435_0_appendNewList_InvokeMethod(EOS(STATIC_1435), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i220, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i220, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))) → 1436_0_appendNewList_InvokeMethod(EOS(STATIC_1436), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i220, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i220, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))
1436_0_appendNewList_InvokeMethod(EOS(STATIC_1436), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i236, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o457sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i236, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))) → 1460_0_appendNewList_InvokeMethod(EOS(STATIC_1460), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o457sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i236)
1484_0_appendNewList_Return(EOS(STATIC_1484), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o524)))))), i267, java.lang.Object(o526sub)) → 1503_0_appendNewList_Return(EOS(STATIC_1503), java.lang.Object(o526sub))
1527_0_appendNewList_InvokeMethod(EOS(STATIC_1527), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o582)))))), i300, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o582)))), i299) → 1554_0_appendNewList_InvokeMethod(EOS(STATIC_1554), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o582)))))), i300, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o582)))), i299)
1553_0_appendNewList_InvokeMethod(EOS(STATIC_1553), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))), i289, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o457sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i236) → 1554_0_appendNewList_InvokeMethod(EOS(STATIC_1554), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))), i289, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o457sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), i236)
1554_0_appendNewList_InvokeMethod(EOS(STATIC_1554), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o631)))))), i326, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o633sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o631)))), i325) → 1641_0_appendNewList_InvokeMethod(EOS(STATIC_1641), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o631)))))), i326, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o633sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o631)))), i325)
1592_0_appendNewList_Return(EOS(STATIC_1592), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o524)))))))), i351, java.lang.Object(o526sub)) → 1484_0_appendNewList_Return(EOS(STATIC_1484), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o524)))))))), i351, java.lang.Object(o526sub))
1641_0_appendNewList_InvokeMethod(EOS(STATIC_1641), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))))), i401, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o757sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))), i400) → 1649_0_appendNewList_InvokeMethod(EOS(STATIC_1649), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o757sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))))), i401)
1687_0_appendNewList_InvokeMethod(EOS(STATIC_1687), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))))))), i425, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o757sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))))), i401) → 1641_0_appendNewList_InvokeMethod(EOS(STATIC_1641), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))))))), i425, java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(o757sub)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, o755)))))), i401)

Combined rules. Obtained 1 conditional rules for P and 7 conditional rules for R.

P rules:
1049_0_appendNewList_New(EOS(STATIC_1049), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), x0, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))) → 1306_1_appendNewList_InvokeMethod(1049_0_appendNewList_New(EOS(STATIC_1049), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), -(x0, 1), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), -(x0, 1)) | >(x0, 1)
R rules:
1306_1_appendNewList_InvokeMethod(1272_0_appendNewList_Return(EOS(STATIC_1272), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), 1, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), 1) → 1349_0_appendNewList_Return(EOS(STATIC_1349), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(EOS(STATIC_1323), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), x0, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), x0) → 1460_0_appendNewList_InvokeMethod(EOS(STATIC_1460), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException(java.lang.ArrayIndexOutOfBoundsException(EOC)))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), x0)
1306_1_appendNewList_InvokeMethod(1373_0_appendNewList_InvokeMethod(EOS(STATIC_1373), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), x0, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), x0) → 1460_0_appendNewList_InvokeMethod(EOS(STATIC_1460), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException(EOC))))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), x0)
1306_1_appendNewList_InvokeMethod(1349_0_appendNewList_Return(EOS(STATIC_1349), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), x0) → 1503_0_appendNewList_Return(EOS(STATIC_1503), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(EOS(STATIC_1503), java.lang.Object(x0)), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), x1) → 1503_0_appendNewList_Return(EOS(STATIC_1503), java.lang.Object(x0))
1306_1_appendNewList_InvokeMethod(1649_0_appendNewList_InvokeMethod(EOS(STATIC_1649), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x1)))))), x2), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), x3) → 1649_0_appendNewList_InvokeMethod(EOS(STATIC_1649), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, x1)))))))), x3)
1306_1_appendNewList_InvokeMethod(1460_0_appendNewList_InvokeMethod(EOS(STATIC_1460), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))), x1), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)), x2) → 1649_0_appendNewList_InvokeMethod(EOS(STATIC_1649), java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0)))), java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(EOC, NULL)))))), x2)

Filtered ground terms:

1306_1_appendNewList_InvokeMethod(x1, x2, x3) → 1306_1_appendNewList_InvokeMethod(x1, x3)
SharingAnalysisRec.SharingAnalysisRec(x1, x2) → SharingAnalysisRec.SharingAnalysisRec(x2)
1049_0_appendNewList_New(x1, x2, x3, x4) → 1049_0_appendNewList_New(x3)
Cond_1049_0_appendNewList_New(x1, x2, x3, x4, x5) → Cond_1049_0_appendNewList_New(x1, x4)
1649_0_appendNewList_InvokeMethod(x1, x2, x3, x4) → 1649_0_appendNewList_InvokeMethod(x2, x3, x4)
1460_0_appendNewList_InvokeMethod(x1, x2, x3, x4) → 1460_0_appendNewList_InvokeMethod(x2, x4)
1503_0_appendNewList_Return(x1, x2) → 1503_0_appendNewList_Return(x2)
1349_0_appendNewList_Return(x1, x2) → 1349_0_appendNewList_Return
java.lang.NullPointerException(x1) → java.lang.NullPointerException
1373_0_appendNewList_InvokeMethod(x1, x2, x3, x4, x5) → 1373_0_appendNewList_InvokeMethod(x4)
java.lang.ArrayIndexOutOfBoundsException(x1) → java.lang.ArrayIndexOutOfBoundsException
java.lang.IndexOutOfBoundsException(x1) → java.lang.IndexOutOfBoundsException
1323_0_appendNewList_InvokeMethod(x1, x2, x3, x4, x5) → 1323_0_appendNewList_InvokeMethod(x4)
1272_0_appendNewList_Return(x1, x2, x3, x4) → 1272_0_appendNewList_Return

Filtered unneeded arguments:

1649_0_appendNewList_InvokeMethod(x1, x2, x3) → 1649_0_appendNewList_InvokeMethod(x2)
1460_0_appendNewList_InvokeMethod(x1, x2) → 1460_0_appendNewList_InvokeMethod(x1)

Combined rules. Obtained 1 conditional rules for P and 7 conditional rules for R.

P rules:
1049_0_appendNewList_New(x0) → 1306_1_appendNewList_InvokeMethod(1049_0_appendNewList_New(-(x0, 1)), -(x0, 1)) | >(x0, 1)
R rules:
1306_1_appendNewList_InvokeMethod(1272_0_appendNewList_Return, 1) → 1349_0_appendNewList_Return
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0) → 1460_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException)))))
1306_1_appendNewList_InvokeMethod(1373_0_appendNewList_InvokeMethod(x0), x0) → 1460_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException)))))
1306_1_appendNewList_InvokeMethod(1349_0_appendNewList_Return, x0) → 1503_0_appendNewList_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(java.lang.Object(x0)), x1) → 1503_0_appendNewList_Return(java.lang.Object(x0))
1306_1_appendNewList_InvokeMethod(1649_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1))))))), x3) → 1649_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1)))))))))
1306_1_appendNewList_InvokeMethod(1460_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0))))), x2) → 1649_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))))))

Performed bisimulation on rules. Used the following equivalence classes: {[1272_0_appendNewList_Return, 1349_0_appendNewList_Return]=1272_0_appendNewList_Return, [1323_0_appendNewList_InvokeMethod_1, 1373_0_appendNewList_InvokeMethod_1]=1323_0_appendNewList_InvokeMethod_1}

Finished conversion. Obtained 2 rules for P and 7 rules for R. System has predefined symbols.

P rules:
1049_0_APPENDNEWLIST_NEW(x0) → COND_1049_0_APPENDNEWLIST_NEW(>(x0, 1), x0)
COND_1049_0_APPENDNEWLIST_NEW(TRUE, x0) → 1049_0_APPENDNEWLIST_NEW(-(x0, 1))
R rules:
1306_1_appendNewList_InvokeMethod(1272_0_appendNewList_Return, 1) → 1272_0_appendNewList_Return
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0) → 1460_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException)))))
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0) → 1460_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException)))))
1306_1_appendNewList_InvokeMethod(1272_0_appendNewList_Return, x0) → 1503_0_appendNewList_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(java.lang.Object(x0)), x1) → 1503_0_appendNewList_Return(java.lang.Object(x0))
1306_1_appendNewList_InvokeMethod(1649_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1))))))), x3) → 1649_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1)))))))))
1306_1_appendNewList_InvokeMethod(1460_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0))))), x2) → 1649_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))))))

(18) Obligation:

IDP problem:
The following function symbols are pre-defined:

!=	~	Neq: (Integer, Integer) -> Boolean
*	~	Mul: (Integer, Integer) -> Integer
>=	~	Ge: (Integer, Integer) -> Boolean
-1	~	UnaryMinus: (Integer) -> Integer
\|	~	Bwor: (Integer, Integer) -> Integer
/	~	Div: (Integer, Integer) -> Integer
=	~	Eq: (Integer, Integer) -> Boolean
	~	Bwxor: (Integer, Integer) -> Integer
\|\|	~	Lor: (Boolean, Boolean) -> Boolean
!	~	Lnot: (Boolean) -> Boolean
<	~	Lt: (Integer, Integer) -> Boolean
-	~	Sub: (Integer, Integer) -> Integer
<=	~	Le: (Integer, Integer) -> Boolean
>	~	Gt: (Integer, Integer) -> Boolean
~	~	Bwnot: (Integer) -> Integer
%	~	Mod: (Integer, Integer) -> Integer
&	~	Bwand: (Integer, Integer) -> Integer
+	~	Add: (Integer, Integer) -> Integer
&&	~	Land: (Boolean, Boolean) -> Boolean

The following domains are used:

Integer

The ITRS R consists of the following rules:
1306_1_appendNewList_InvokeMethod(1272_0_appendNewList_Return, 1) → 1272_0_appendNewList_Return
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0) → 1460_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException)))))
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0) → 1460_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException)))))
1306_1_appendNewList_InvokeMethod(1272_0_appendNewList_Return, x0) → 1503_0_appendNewList_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(java.lang.Object(x0)), x1) → 1503_0_appendNewList_Return(java.lang.Object(x0))
1306_1_appendNewList_InvokeMethod(1649_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1))))))), x3) → 1649_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1)))))))))
1306_1_appendNewList_InvokeMethod(1460_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0))))), x2) → 1649_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))))))

The integer pair graph contains the following rules and edges:
(0): 1049_0_APPENDNEWLIST_NEW(x0[0]) → COND_1049_0_APPENDNEWLIST_NEW(x0[0] > 1, x0[0])
(1): COND_1049_0_APPENDNEWLIST_NEW(TRUE, x0[1]) → 1049_0_APPENDNEWLIST_NEW(x0[1] - 1)

(0) -> (1), if (x0[0] > 1 ∧x0[0] →^* x0[1])

(1) -> (0), if (x0[1] - 1 →^* x0[0])

The set Q consists of the following terms:
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0)
1306_1_appendNewList_InvokeMethod(1272_0_appendNewList_Return, x0)
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(java.lang.Object(x0)), x1)
1306_1_appendNewList_InvokeMethod(1649_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x0))))))), x1)
1306_1_appendNewList_InvokeMethod(1460_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0))))), x1)

(19) IDPNonInfProof (SOUND transformation)

Used the following options for this NonInfProof:
IDPGPoloSolver: Range: [(-1,2)] IsNat: false Interpretation Shape Heuristic: aprove.DPFramework.IDPProblem.Processors.nonInf.poly.IdpCand1ShapeHeuristic@614f2478 Constraint Generator: NonInfConstraintGenerator: PathGenerator: MetricPathGenerator: Max Left Steps: 0 Max Right Steps: 0

The constraints were generated the following way:
The DP Problem is simplified using the Induction Calculus [NONINF] with the following steps:
Note that final constraints are written in bold face.

For Pair 1049_0_APPENDNEWLIST_NEW(x0) → COND_1049_0_APPENDNEWLIST_NEW(>(x0, 1), x0) the following chains were created:

We consider the chain 1049_0_APPENDNEWLIST_NEW(x0[0]) → COND_1049_0_APPENDNEWLIST_NEW(>(x0[0], 1), x0[0]), COND_1049_0_APPENDNEWLIST_NEW(TRUE, x0[1]) → 1049_0_APPENDNEWLIST_NEW(-(x0[1], 1)) which results in the following constraint:
(1)    (>(x0[0], 1)=TRUE∧x0[0]=x0[1] ⇒ 1049_0_APPENDNEWLIST_NEW(x0[0])≥NonInfC∧1049_0_APPENDNEWLIST_NEW(x0[0])≥COND_1049_0_APPENDNEWLIST_NEW(>(x0[0], 1), x0[0])∧(U^Increasing(COND_1049_0_APPENDNEWLIST_NEW(>(x0[0], 1), x0[0])), ≥))

We simplified constraint (1) using rule (IV) which results in the following new constraint:
(2)    (>(x0[0], 1)=TRUE ⇒ 1049_0_APPENDNEWLIST_NEW(x0[0])≥NonInfC∧1049_0_APPENDNEWLIST_NEW(x0[0])≥COND_1049_0_APPENDNEWLIST_NEW(>(x0[0], 1), x0[0])∧(U^Increasing(COND_1049_0_APPENDNEWLIST_NEW(>(x0[0], 1), x0[0])), ≥))

We simplified constraint (2) using rule (POLY_CONSTRAINTS) which results in the following new constraint:
(3)    (x0[0] + [-2] ≥ 0 ⇒ (U^Increasing(COND_1049_0_APPENDNEWLIST_NEW(>(x0[0], 1), x0[0])), ≥)∧[(-1)Bound*bni_22] + [(2)bni_22]x0[0] ≥ 0∧[(-1)bso_23] ≥ 0)

We simplified constraint (3) using rule (IDP_POLY_SIMPLIFY) which results in the following new constraint:
(4)    (x0[0] + [-2] ≥ 0 ⇒ (U^Increasing(COND_1049_0_APPENDNEWLIST_NEW(>(x0[0], 1), x0[0])), ≥)∧[(-1)Bound*bni_22] + [(2)bni_22]x0[0] ≥ 0∧[(-1)bso_23] ≥ 0)

We simplified constraint (4) using rule (POLY_REMOVE_MIN_MAX) which results in the following new constraint:
(5)    (x0[0] + [-2] ≥ 0 ⇒ (U^Increasing(COND_1049_0_APPENDNEWLIST_NEW(>(x0[0], 1), x0[0])), ≥)∧[(-1)Bound*bni_22] + [(2)bni_22]x0[0] ≥ 0∧[(-1)bso_23] ≥ 0)

We simplified constraint (5) using rule (IDP_SMT_SPLIT) which results in the following new constraint:
(6)    (x0[0] ≥ 0 ⇒ (U^Increasing(COND_1049_0_APPENDNEWLIST_NEW(>(x0[0], 1), x0[0])), ≥)∧[(-1)Bound*bni_22 + (4)bni_22] + [(2)bni_22]x0[0] ≥ 0∧[(-1)bso_23] ≥ 0)

For Pair COND_1049_0_APPENDNEWLIST_NEW(TRUE, x0) → 1049_0_APPENDNEWLIST_NEW(-(x0, 1)) the following chains were created:

We consider the chain COND_1049_0_APPENDNEWLIST_NEW(TRUE, x0[1]) → 1049_0_APPENDNEWLIST_NEW(-(x0[1], 1)) which results in the following constraint:
(7)    (COND_1049_0_APPENDNEWLIST_NEW(TRUE, x0[1])≥NonInfC∧COND_1049_0_APPENDNEWLIST_NEW(TRUE, x0[1])≥1049_0_APPENDNEWLIST_NEW(-(x0[1], 1))∧(U^Increasing(1049_0_APPENDNEWLIST_NEW(-(x0[1], 1))), ≥))

We simplified constraint (7) using rule (POLY_CONSTRAINTS) which results in the following new constraint:
(8)    ((U^Increasing(1049_0_APPENDNEWLIST_NEW(-(x0[1], 1))), ≥)∧[bni_24] = 0∧[2 + (-1)bso_25] ≥ 0)

We simplified constraint (8) using rule (IDP_POLY_SIMPLIFY) which results in the following new constraint:
(9)    ((U^Increasing(1049_0_APPENDNEWLIST_NEW(-(x0[1], 1))), ≥)∧[bni_24] = 0∧[2 + (-1)bso_25] ≥ 0)

We simplified constraint (9) using rule (POLY_REMOVE_MIN_MAX) which results in the following new constraint:
(10)    ((U^Increasing(1049_0_APPENDNEWLIST_NEW(-(x0[1], 1))), ≥)∧[bni_24] = 0∧[2 + (-1)bso_25] ≥ 0)

We simplified constraint (10) using rule (IDP_UNRESTRICTED_VARS) which results in the following new constraint:
(11)    ((U^Increasing(1049_0_APPENDNEWLIST_NEW(-(x0[1], 1))), ≥)∧[bni_24] = 0∧0 = 0∧[2 + (-1)bso_25] ≥ 0)

To summarize, we get the following constraints P_≥ for the following pairs.

1049_0_APPENDNEWLIST_NEW(x0) → COND_1049_0_APPENDNEWLIST_NEW(>(x0, 1), x0)
- (x0[0] ≥ 0 ⇒ (U^Increasing(COND_1049_0_APPENDNEWLIST_NEW(>(x0[0], 1), x0[0])), ≥)∧[(-1)Bound*bni_22 + (4)bni_22] + [(2)bni_22]x0[0] ≥ 0∧[(-1)bso_23] ≥ 0)
COND_1049_0_APPENDNEWLIST_NEW(TRUE, x0) → 1049_0_APPENDNEWLIST_NEW(-(x0, 1))
- ((U^Increasing(1049_0_APPENDNEWLIST_NEW(-(x0[1], 1))), ≥)∧[bni_24] = 0∧0 = 0∧[2 + (-1)bso_25] ≥ 0)

The constraints for P_> respective P_bound are constructed from P_≥ where we just replace every occurence of "t ≥ s" in P_≥ by "t > s" respective "t ≥ c". Here c stands for the fresh constant used for P_bound.
Using the following integer polynomial ordering the resulting constraints can be solved
Polynomial interpretation over integers[POLO]:

POL(TRUE) = 0
POL(FALSE) = 0
POL(1306_1_appendNewList_InvokeMethod(x₁, x₂)) = [-1]
POL(1272_0_appendNewList_Return) = [-1]
POL(1) = [1]
POL(1323_0_appendNewList_InvokeMethod(x₁)) = [-1]
POL(1460_0_appendNewList_InvokeMethod(x₁)) = [-1]
POL(java.lang.Object(x₁)) = [-1]
POL(java.lang.Throwable(x₁)) = [-1]
POL(java.lang.Exception(x₁)) = [-1]
POL(java.lang.RuntimeException(x₁)) = [-1]
POL(java.lang.IndexOutOfBoundsException) = [-1]
POL(java.lang.NullPointerException) = [-1]
POL(1503_0_appendNewList_Return(x₁)) = [-1]
POL(SharingAnalysisRec.SharingAnalysisRec(x₁)) = [-1]
POL(NULL) = [-1]
POL(1649_0_appendNewList_InvokeMethod(x₁)) = [-1]
POL(1049_0_APPENDNEWLIST_NEW(x₁)) = [2]x₁
POL(COND_1049_0_APPENDNEWLIST_NEW(x₁, x₂)) = [2]x₂
POL(>(x₁, x₂)) = [-1]
POL(-(x₁, x₂)) = x₁ + [-1]x₂

The following pairs are in P_>:

COND_1049_0_APPENDNEWLIST_NEW(TRUE, x0[1]) → 1049_0_APPENDNEWLIST_NEW(-(x0[1], 1))

The following pairs are in P_bound:

1049_0_APPENDNEWLIST_NEW(x0[0]) → COND_1049_0_APPENDNEWLIST_NEW(>(x0[0], 1), x0[0])

The following pairs are in P_≥:

1049_0_APPENDNEWLIST_NEW(x0[0]) → COND_1049_0_APPENDNEWLIST_NEW(>(x0[0], 1), x0[0])

There are no usable rules.

(20) Complex Obligation (AND)

(21) Obligation:

IDP problem:
The following function symbols are pre-defined:

!=	~	Neq: (Integer, Integer) -> Boolean
*	~	Mul: (Integer, Integer) -> Integer
>=	~	Ge: (Integer, Integer) -> Boolean
-1	~	UnaryMinus: (Integer) -> Integer
\|	~	Bwor: (Integer, Integer) -> Integer
/	~	Div: (Integer, Integer) -> Integer
=	~	Eq: (Integer, Integer) -> Boolean
	~	Bwxor: (Integer, Integer) -> Integer
\|\|	~	Lor: (Boolean, Boolean) -> Boolean
!	~	Lnot: (Boolean) -> Boolean
<	~	Lt: (Integer, Integer) -> Boolean
-	~	Sub: (Integer, Integer) -> Integer
<=	~	Le: (Integer, Integer) -> Boolean
>	~	Gt: (Integer, Integer) -> Boolean
~	~	Bwnot: (Integer) -> Integer
%	~	Mod: (Integer, Integer) -> Integer
&	~	Bwand: (Integer, Integer) -> Integer
+	~	Add: (Integer, Integer) -> Integer
&&	~	Land: (Boolean, Boolean) -> Boolean

The following domains are used:

Integer

The ITRS R consists of the following rules:
1306_1_appendNewList_InvokeMethod(1272_0_appendNewList_Return, 1) → 1272_0_appendNewList_Return
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0) → 1460_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException)))))
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0) → 1460_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException)))))
1306_1_appendNewList_InvokeMethod(1272_0_appendNewList_Return, x0) → 1503_0_appendNewList_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(java.lang.Object(x0)), x1) → 1503_0_appendNewList_Return(java.lang.Object(x0))
1306_1_appendNewList_InvokeMethod(1649_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1))))))), x3) → 1649_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1)))))))))
1306_1_appendNewList_InvokeMethod(1460_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0))))), x2) → 1649_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))))))

The integer pair graph contains the following rules and edges:
(0): 1049_0_APPENDNEWLIST_NEW(x0[0]) → COND_1049_0_APPENDNEWLIST_NEW(x0[0] > 1, x0[0])

The set Q consists of the following terms:
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0)
1306_1_appendNewList_InvokeMethod(1272_0_appendNewList_Return, x0)
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(java.lang.Object(x0)), x1)
1306_1_appendNewList_InvokeMethod(1649_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x0))))))), x1)
1306_1_appendNewList_InvokeMethod(1460_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0))))), x1)

(22) IDependencyGraphProof (EQUIVALENT transformation)

The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 0 SCCs with 1 less node.

(23) TRUE

(24) Obligation:

IDP problem:
The following function symbols are pre-defined:

!=	~	Neq: (Integer, Integer) -> Boolean
*	~	Mul: (Integer, Integer) -> Integer
>=	~	Ge: (Integer, Integer) -> Boolean
-1	~	UnaryMinus: (Integer) -> Integer
\|	~	Bwor: (Integer, Integer) -> Integer
/	~	Div: (Integer, Integer) -> Integer
=	~	Eq: (Integer, Integer) -> Boolean
	~	Bwxor: (Integer, Integer) -> Integer
\|\|	~	Lor: (Boolean, Boolean) -> Boolean
!	~	Lnot: (Boolean) -> Boolean
<	~	Lt: (Integer, Integer) -> Boolean
-	~	Sub: (Integer, Integer) -> Integer
<=	~	Le: (Integer, Integer) -> Boolean
>	~	Gt: (Integer, Integer) -> Boolean
~	~	Bwnot: (Integer) -> Integer
%	~	Mod: (Integer, Integer) -> Integer
&	~	Bwand: (Integer, Integer) -> Integer
+	~	Add: (Integer, Integer) -> Integer
&&	~	Land: (Boolean, Boolean) -> Boolean

The following domains are used:

Integer

The ITRS R consists of the following rules:
1306_1_appendNewList_InvokeMethod(1272_0_appendNewList_Return, 1) → 1272_0_appendNewList_Return
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0) → 1460_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.IndexOutOfBoundsException)))))
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0) → 1460_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(java.lang.NullPointerException)))))
1306_1_appendNewList_InvokeMethod(1272_0_appendNewList_Return, x0) → 1503_0_appendNewList_Return(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(java.lang.Object(x0)), x1) → 1503_0_appendNewList_Return(java.lang.Object(x0))
1306_1_appendNewList_InvokeMethod(1649_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1))))))), x3) → 1649_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x1)))))))))
1306_1_appendNewList_InvokeMethod(1460_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0))))), x2) → 1649_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(NULL)))))))

The integer pair graph contains the following rules and edges:
(1): COND_1049_0_APPENDNEWLIST_NEW(TRUE, x0[1]) → 1049_0_APPENDNEWLIST_NEW(x0[1] - 1)

The set Q consists of the following terms:
1306_1_appendNewList_InvokeMethod(1323_0_appendNewList_InvokeMethod(x0), x0)
1306_1_appendNewList_InvokeMethod(1272_0_appendNewList_Return, x0)
1306_1_appendNewList_InvokeMethod(1503_0_appendNewList_Return(java.lang.Object(x0)), x1)
1306_1_appendNewList_InvokeMethod(1649_0_appendNewList_InvokeMethod(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(java.lang.Object(SharingAnalysisRec.SharingAnalysisRec(x0))))))), x1)
1306_1_appendNewList_InvokeMethod(1460_0_appendNewList_InvokeMethod(java.lang.Object(java.lang.Throwable(java.lang.Exception(java.lang.RuntimeException(x0))))), x1)

(25) IDependencyGraphProof (EQUIVALENT transformation)

The approximation of the Dependency Graph [LPAR04,FROCOS05,EDGSTAR] contains 0 SCCs with 1 less node.

(0) Obligation:

(1) JBCToGraph (SOUND transformation)

(2) Obligation:

(3) TerminationGraphToSCCProof (SOUND transformation)

(4) Complex Obligation (AND)

(5) Obligation:

(6) SCCToIDPv1Proof (SOUND transformation)

(7) Obligation:

(8) IDPtoQDPProof (SOUND transformation)

(9) Obligation:

(10) UsableRulesProof (EQUIVALENT transformation)

(11) Obligation:

(12) QReductionProof (EQUIVALENT transformation)

(13) Obligation:

(14) QDPSizeChangeProof (EQUIVALENT transformation)

(15) YES

(16) Obligation:

(17) SCCToIDPv1Proof (SOUND transformation)

(18) Obligation:

(19) IDPNonInfProof (SOUND transformation)

(20) Complex Obligation (AND)

(21) Obligation:

(22) IDependencyGraphProof (EQUIVALENT transformation)

(23) TRUE

(24) Obligation:

(25) IDependencyGraphProof (EQUIVALENT transformation)

(26) TRUE